Nuprl Definition : es-hist
11,40
postcript
pdf
es-hist{i:l}(
es
;
e1
;
e2
) == map((
e
.es-info(
es
;
e
)); [
e1
,
e2
])
latex
clarification:
es-hist{i:l}(
es
;
e1
;
e2
) == map((
e
.es-info(
es
;
e
)); es-interval{i:l}(
es
;
e1
;
e2
))
latex
Definitions
map(
f
;
as
)
,
es-info(
es
;
e
)
,
[
e
,
e'
]
FDL editor aliases
es-hist
origin